Title Literature survey on hierarchical hybrid system and automata theory for multi - satellite cooperative control
نویسنده
چکیده
A cooperative control system deals with a multiple dynamic entities that share information or tasks to accomplish a common, though perhaps not singular, objective. The cooperative control has been applied to the coordination of unmanned aerial vehicles, the control of multiple satellites, and the control of robots. This report is a literature survey for satellite cooperative control using hierarchical hybrid system and automata theory.
منابع مشابه
Improving Agent Performance for Multi-Resource Negotiation Using Learning Automata and Case-Based Reasoning
In electronic commerce markets, agents often should acquire multiple resources to fulfil a high-level task. In order to attain such resources they need to compete with each other. In multi-agent environments, in which competition is involved, negotiation would be an interaction between agents in order to reach an agreement on resource allocation and to be coordinated with each other. In recent ...
متن کاملTranslating Cooperative Strategies for Robot Behavior
This paper presents a method for engineering and programming multirobot systems, based on a combination of statecharts and hybrid automata, which are well-known in the fields of software engineering and artificial intelligence. This formal specification method allows graphical presentation of the whole multiagent system behavior. In addition, these specifications can be directly executed on mob...
متن کاملGenerating Discrete Trace Transition System of a Polyhe-dral Invariant Hybrid Automaton
Supervisory control and fault diagnosis of hybrid systems need to have complete information about the discrete states transitions of the underling system. From this point of view, the hybrid system should be abstracted to a Discrete Trace Transition System (DTTS) and represented by a discrete mode transition graph. In this paper an effective method is proposed for generating discrete mode trans...
متن کاملOptimal Control Approach to Multiagent, Hierarchical System Verification
An approach to the veriication of hybrid systems using optimal control principles is introduced. Its advantages and disadvantages when compared with conventional , automatic veriication techniques are highlighted. The application of the new approach is illustrated by means of two motivating examples, one from the area of automated highway systems and the other from the timed automata veriicatio...
متن کاملGAME OF COORDINATION FOR BACTERIAL PATTERN FORMATION: A FINITE AUTOMATA MODELLING
In this paper, we use game theory to describe the emergence of self-organization and consequent pattern formation through communicative cooperation in Bacillus subtilis colonies. The emergence of cooperative regime is modelled as an n-player Assurance game, with the bacterial colonies as individual players. The game is played iteratively through cooperative communication, and mediated by exchan...
متن کامل